Parosh Aziz Abdulla

Chaired Professor at the Department of Information Technology, Uppsala University, Uppsala, Sweden.

• Teaching: Course material available for my courses on Algorithm Program Verification and Concurrent Algorithms and Data Structures..
• Ahmed Bouajjani received an honorary doctorate in Uppsala. Uppsala Workshop on Automata, Logic and Verification (in honour of Ahmed Bouajjani).
• Recent Work:
  • Verification of Programs running on the persistent x86-architecture. POPL2021. Paper.. Slides in keynote. Slides in pdf. Short Intro Video. Conference Presentation Video.
  • Parameterized Verification under the TSO semantics. POPL2020. Paper.
  • Optimal Partial Order Reduction under the Release-Acquire Semantics. OOPSLA'2018. Slides in keynote. Slides in pdf. Presentation Video.
  • A Load-Buffer semantics for TSO. LMCS'2018. Slides in keynote, Slides in pdf. Paper.
  • Systematic Testing (Stateless Model Checking). Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction@JACM 2017.
  • Multi-pushdown systems with data. CONCUR'2017: Slides in keynote. Slides in pdf. Paper.
  • String Constraint Solving. PLDI'2017: Slides in keynote. Slides in pdf. Paper.
  • Parametrized verification through view abstraction. CAV'2016: Slides in keynote, Slides in pdf.
  • Tutorial on well quasi-ordered systems. MOVEP'2016, Genoa, Italy: Slides in keynote, Slides in pdf.
• PC duties: PLDI 2023, FoSSaCS 2023, ESOP 2023, CAV 2022, FORMATS 2022, ICALP 2021, POPL 2021, FoSSaCS 2020, LICS 2019, ICALP 2019, TACAS 2019, CONCUR 2018, MOVEP 2018, NETYS 2018, ETAPS 2017 (General Chair), Higlights 2017, FCT 2017, CSL 2017, SoICT 2017, CP 2016, ICALP 2016, TACAS 2016, Gandalf 2016, NETYS 2016, FSTTCS 2015, CONCUR 2015, CIAA 2015, GANDALF 2015, SSS 2015, NETSYS 2015, FORMATS 2014, GANDALF 2014, HIGLIGHTS 2014, MCC 2014, SoICT 2014, LICS 2013, MFCS 2013, LATA 2013, INFINITY 2013, MCC 2013, RP 2013 (co-chair), FORMATS 2012, MCC 2012, TACAS 2011 (co-chair), ATVA 2011, RP 2011, INFINITY 2011, LICS 2010, CONCUR 2010, TACAS 2010, SOFSEM 2010, GandALF 2010, RP 2010, INFINITY 2010, CAV 2009, MCC 2009, ICTAC 2009, QEST 2009, FoSSaCS 2009, LATA 2009 , GAMES 2009, RP 2009, MEMICS 2009 , INFINITY 2009.
• I am on the editorial board of TCS. Your submissions are welcome.